Section: New Software and Platforms
LoCa: Logical Causality Analyzer
Functional Description
Based on an execution trace, the component specifications, and a required property , LoCA analyzes the causes of a violation of in a component-based system. LoCA currently supports causality analysis in BIP and networks of timed automata. The core analysis engine is implemented as an abstract class, such that support for other models of computation (MoC) can be added by instantiating the class with the basic operations of the MoC.